A Formal Model of Identity Mixer
نویسندگان
چکیده
Identity Mixer is an anonymous credential system developed at IBM that allows users for instance to prove that they are over 18 years old without revealing their name and birthdate. This privacy-friendly technology is realized using zero-knowledge proofs. We describe a formal model of Identity Mixer that is well-suited for automated protocol verification tools in the spirit of black-box cryptography models. We also describe the translation from the credential requirement specification language CARL to an Identity Mixer proof specification.
منابع مشابه
A Formal Model of Identity Mixer Mixer
Identity Mixer is an anonymous credential system developed at IBM that allows users for instance to prove that they are over 18 years old without revealing their name or birthdate. This privacy-friendly technology is realized using zero-knowledge proofs. We describe a formal model of Identity Mixer that is well-suited for automated protocol verification tools in the spirit of black-box cryptogr...
متن کاملDesign and Development of Mathematical Model for Static Mixer
A numerical model for simulating Residence Time Distribution (RTD) of turbulent flows in helical static mixers is proposed and developed to improve the understanding of static mixers. The results of this model is presented in terms of different volumetric flow rate to illustrate the complicated flow patterns that drive the mixing process i...
متن کاملThe Study of Corresponding Effects of anionic surfactant concentration and solute on Drop Size in a Mixer-Settler Extractor and Propose an Empirical Model
Drop size distribution in a mixer-settler is an essential design parameter, as obtaining drop size distribution will result in optimum performance of equipment. In this paper for obtaining drop size, several experiments have been performed with a single stage horizontal mixer-settler. A video technique has been used in order to measure the drop size in the mixer-settler with the help of a digit...
متن کاملHydrodynamic Characterization of Mixer-Settlers in Extraction of Zirconium with TBP
An experimental study has been made of the hydrodynamics of a stage mixer-settler to obtain appropriate design information. In this paper several tests were done according to full factorial design of experiments with high reliability, since each test recurs seven times and the results of them are very close to each other(P=1bar and T=25 °C). Sauter diameter in each test is determined with ...
متن کاملDispersion Parameters and Effect of Impeller Speed, Holdup and Volume Fraction of Dispersed Phase on Separation Efficiency, Mass Transfer Coefficient of Dispersed Phase and Distribution Coefficient on Mixer-Settler Set
An experimental study has been conducted on the hydrodynamics of a stage mixer-settler to obtain an appropriate design. In this paper several tests was performed to investigate full factorial design of experiments. Since each test was repeated seven times, the repeatability of the test was confirmed (P=1 bar and T=25 °C). Sauter diameter was determined by photographing both the mix...
متن کامل